Adapting Proofs-as-Programs: The Curry - Howard Protocol (Monographs in Computer Science)
by Iman Poernomo,John N. Crossley,Martin Wirsing
ISBN 13: 9780387237596
Format: Illustrated (436 pages) Publisher: Springer Published: 29 Jul 2005
Save for later